x86: skip further initialization for idle domains
authorJan Beulich <jbeulich@suse.com>
Wed, 28 Jan 2015 15:38:20 +0000 (16:38 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 28 Jan 2015 15:38:20 +0000 (16:38 +0100)
commite5f317bda12a99d72e80f1fd639a53e36d377c44
tree240117ebac8dd7f8f7d82eda0f8a6e3b3ae25060
parentf6c9698d7f65eca5c1ef5ed325e12252a2fb89fd
x86: skip further initialization for idle domains

While in the end not really found necessary, early versions of the
patches to follow pointed out that we needlessly set up paging for idle
domains. Arranging for that to be skipped made me notice that we can at
once skip vMCE setup for them. Leverage to adjustment to further
re-arrange the way FPU setup gets skipped.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/domain.c
xen/arch/x86/i387.c